https://dasbestelexikon.de/en/wiki/Greatest_common_divisor